IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - PDFSEARCH.IO - Document Search Engine

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Results: 31

#	Item
11	902 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 15, NO. 8, AUGUST 1996 Solving the Net Matching Pro erforrnance Chip Desi Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-10-02 16:03:22
12	44 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 19, NO. 1, JANUARY 2000 Sibling-Substitution-Based BDD Minimization Using Don’t Cares Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:28
13	1702 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 18, NO. 12, DECEMBER 1999 Power Optimization of Variable-Voltage Core-Based Systems Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-06-11 14:31:52 CPU cache Cache Central processing unit Computer memory Multi-core processor Intel Core Parallel computing Power supply Scheduling Electronic engineering Computing Electronics
14	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
15	Microsoft Word - MRL2009vitae.docx Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2009-05-06 16:36:11 Professional associations Engineering Institute of Electrical and Electronics Engineers IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Circuits and Systems Society Technology Wai-Chi Fang IEEE Smart Grid International nongovernmental organizations Electronic engineering Standards organizations
16	Microsoft Word - 2_28_Subhasish_Mitra_ABSTRACT_BIO.docx Add to Reading List Source URL: inc11.org Language: English - Date: 2015-04-13 05:43:26 Engineering Electronics Design Automation Conference Institute of Electrical and Electronics Engineers Very-large-scale integration Special Interest Group on Design Automation IEEE Council on Electronic Design Automation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Carbon nanotube Electronic engineering International nongovernmental organizations Professional associations
17	From the Editor Guanrong (Ron) Chen Editor-in-Chief, IEEE Circuits and Systems Magazine D Add to Reading List Source URL: www.ee.cityu.edu.hk Language: English - Date: 2009-09-10 08:53:25 Electromagnetism IEEE Circuits and Systems Society Institute of Electrical and Electronics Engineers Electrical engineering Electronics IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems International nongovernmental organizations Electronic engineering Engineering
18	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 2, FEBRUARY[removed]Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2006-02-09 21:28:58 Materials science Applied mathematics Nanotechnology Digital microfluidics Search algorithms Electrowetting Shortest path problem Algorithm A* search algorithm Microfluidics Biotechnology Mathematics
19	Matthias Althoff Phone: +[removed]E-mail: [removed] Web: www6.in.tum.de/Main/Althoff born[removed]in Freising, Germany. Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2015-01-03 05:12:34 Technology Institute of Electrical and Electronics Engineers IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Engineering
20	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics

UPDATE